High-Speed Computation of the Kleene Star in Max-Plus Algebra Using a Cell Broadband Engine
نویسندگان
چکیده
This research addresses a high-speed computation method for the Kleene Star of the weighted adjacency matrix in max-plus algebraic system. We focus on systems whose precedence constraints are represented by a directed acyclic graph (DAG), and implement on a Cell Broadband EngineTM (CBE) processor. Using the implementation on a Sony Playstation3TM (PS3) equipped with a CBE processor, we attempt to achieve a speedup by using two approaches: parallelization and SIMDization (Single Instruction, Multiple Data). We found that the SIMDization is effective regardless of the system’s size and the number of processor cores used, and that the scalability of using multiple cores is remarkable especially for systems with large number of nodes. Key-Words: Directed acyclic graph, max-plus algebra, parallel processing, SIMD; Cell Broadband Engine
منابع مشابه
Efficient Computation of the Kleene Star in Max-Plus Algebra using a CUDA GPU
This research aims to accelerate the computation of the Kleene star in max-plus algebra using CUDA technology on graphics processing units (GPUs). The target module is the Kleene star of a weighted adjacency matrix for directed acyclic graph (DAGs) which plays an essential role in calculating the earliest and/or latest schedule for a class of discrete event systems. In recent NVIDIA GPU cards, ...
متن کاملA Fast Computation for the State Vector in a Max-Plus Algebraic System with an Adjacency Matrix of a Directed Acyclic Graph
We provide a useful method for calculating the state vector of a state equation efficiently in a max-plus algebraic system. For a discrete event system whose precedence relationships are represented by a directed acyclic graph, computing the transition matrix, which includes the Kleene star operation of a weighted adjacency matrix, is occasionally the bottleneck. On the other hand, the common o...
متن کاملMultiorder, Kleene Stars and Cyclic Projectors in the Geometry of Max Cones
This paper summarizes results on some topics in the max-plus convex geometry, mainly concerning the role of multiorder, Kleene stars and cyclic projectors, and relates them to some topics in max algebra. The multiorder principle leads to max-plus analogues of some statements in the finite-dimensional convex geometry and is related to the set covering conditions in max algebra. Kleene stars are ...
متن کاملProgramming and automating mathematics in the Tarski-Kleene hierarchy
We present examples from a reference implementation of variants of Kleene algebras and Tarski’s relation algebras in the theorem proving environment Isabelle/HOL. For Kleene algebras we show how models can be programmed, including sets of traces and paths, languages, binary relations, max-plus and min-plus algebra, matrices, formal power series. For relation algebras we discuss primarily proof ...
متن کاملMax-Plus algebra on tensors and its properties
In this paper we generalize the max plus algebra system of real matrices to the class of real tensors and derive its fundamental properties. Also we give some basic properties for the left (right) inverse, under the new system. The existence of order 2 left (right) inverses of tensors is characterized.
متن کامل